41. Empirical software engineering and verification
پدیدآورنده : Bertrand Meyer, Martin Nordio (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
E47
2011eb
42. Explore it! :
پدیدآورنده : Elisabeth Hendrickson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing.,Computer software-- Validation.,Computer software-- Verification.,Computer software-- Testing.,Computer software-- Validation.,Computer software-- Verification.
رده :
QA76
.
75
.
H463
2014
43. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
44. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
45. Formal methods for industrial critical systems :
پدیدآورنده : Darren Cofer, Alessandro Fantechi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
9
.
F67
I594
2008eb
46. Formal methods for industrial critical systems :
پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
47. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
48. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
49. Formal verification of object-oriented software :
پدیدآورنده : Bernhard Beckert, Claude Marche (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
F68
2011
50. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
51. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
52. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
53. Gradle beyond the basics
پدیدآورنده : Tim Berglund
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Computer software-- Validation,Computer software-- Verification
رده :
QA76
.
76
.
A65
B47
2013
54. Hardware and software
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : output equipment ; Congresses. ; Computer software ; Verification ; Congresses. ; -Computer programs ; Verification ; Congresses. ; Software architecture ; Congresses. ; Computer input
55. Hardware and software: verification and testin
پدیدآورنده : / Sharon Barner ... [et al.] (Eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer software, Verification, Congresses,Electronic books
رده :
QA76
.
76
.
V47
,
I58
,
2011eb
56. Hardware and software, verification and testing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
57. Independent verification and validation: a life cycle engineering process for quality software
پدیدآورنده :
موضوع : Computer software-Verification,Computer software-Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
58. Industrial use of formal methods
پدیدآورنده : edited by Jean-Louis Boulanger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation.,Computer software-- Verification.,Formal methods (Computer science),Nondestructive testing.,Systems engineering-- Data processing.
رده :
TA168
.
I45
2012eb
59. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگرهها
رده :
E-Book
,
60. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,